Probabilistic Models for Continuous Ontogenetic Transition Processes
نویسندگان
چکیده
منابع مشابه
Probabilistic Models for Continuous Ontogenetic Transition Processes
BACKGROUND Probabilistic reaction norms (PRNs) are an extension of the concept of reaction norms, developed to account for stochasticity in ontogenetic transitions. However, logistic regression based PRNs are restricted to discrete time intervals, whereas previously proposed models for continuous transitions are demanding in terms of modelling effort and data needed. METHODOLOGY/PRINCIPAL FIN...
متن کاملCoalgebraic Trace Semantics for Continuous Probabilistic Transition Systems
Coalgebras in a Kleisli category yield a generic definition of trace semantics for various types of labelled transition systems. In this paper we apply this generic theory to generative probabilistic transition systems, short PTS, with arbitrary (possibly uncountable) state spaces. We consider the sub-probability monad and the probability monad (Giry monad) on the category of measurable spaces ...
متن کاملStructural Operational Semantics for Continuous State Probabilistic Processes
We consider the problem of modeling syntax and semantics of probabilistic processes with continuous states (e.g. with continuous data). Syntax and semantics of these systems can be defined as algebras and coalgebras of suitable endofunctors over Meas, the category of measurable spaces. In order to give a more concrete representation for these coalgebras, we present an SOS-like rule format which...
متن کاملUniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes
Rate transition systems (RTS) are a special kind of transition systems introduced for defining the stochastic behavior of processes and for associating continuous-time Markov chains with process terms. The transition relation assigns to each process, for each action, the set of possible futures paired with a measure indicating the rates at which they are reached. RTS have been shown to be a uni...
متن کاملProbabilistic Simulations for Probabilistic Processes
Several probabilistic simulation relations for probabilistic systems are deened and evaluated according to two criteria: compositionality and preservation of \interesting" properties. Here, the interesting properties of a system are identiied with those that are expressible in an untimed version of the Timed Probabilistic concurrent Computation Tree Logic (TPCTL) of Hansson. The definitions are...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: PLoS ONE
سال: 2008
ISSN: 1932-6203
DOI: 10.1371/journal.pone.0003677